With last change, this is now true.