Whitespace fixups.
Make conjecture-mode more discriminating about when it enables itself.