What does the `; :)` do at the end of the subshell? I've never seen that before!