correcting mistakes that showed up after maknij junit tests