cosmetics: Replace // by /* */ comments.