#82 Fixed bugs in 'compilation error' page.