Comment out + Uncomment leaves spaces on both sides

[murfel]

Given

let () = print_endline "Hello, World!"

Comment out:

(* let () = print_endline "Hello, World!" *)

Uncomment (note one unnecessary space on both sides)

 let () = print_endline "Hello, World!"