Minor adjustment of ugliness-comment