Post-contest bugfixes