2-space & copyright for Kahn mode. some haddock formatting