Fix wayward comment.