slight fix to formatting