Where did Happy Jack go?