Hmm, that was quite a blatant bug.