some drive-by inlining
not strictly part of this bug but easier here than on default