Extra decoration in comments.