Even more simple prettification, now on the comments.