Minor tidying of comments