found a bug — wrote a FIXME comment