Debugging flop error