It was a bug and has been fixed meanwhile.