...and that was a bug.