Minor API tweak