Quite a bug, fixed