Minor edit related to formatting