Minor aesthetic improvement in comment form.