Minor change in formatting