Fix bug in submission page: compile errors can be verified again.