tracked down the source of that annoying bug