Minor prettification