cosmetic blank line in P11.hs