Minor change to formatting