haddocks: post-"Internalization" clean-up, round 3