Some bug-fixes after real-world testing at Moody's Mega Math Challenge