Fix an inline #-comment.