Slight fix to proposed internal API