Fix comment for ghci script files

(Unchecked comment-only commits should better use the right commenting
style...)