Make comments more concise (@dnschneid).