added post-contest corrections by Eric, fixed evaluation for kai112
Authored by: sneumann 2017-10-25
Parent: [r393]
Child: [r395]