In fact that is a bug, yes. Good catch.