little fix to formatting