More stuff
Tidy up a little bit pi_1(S^1)