It was indeed a bug. This will be fixed for the next release.