Remove a comment for GHC <= 4.08