minor changes to formatting
fix for lecturer on restart of server