Slight amendment to config comments