fixing assumption bug discovered by mike