Oops, that was quite a bug.