This is a non-standard API, so really does need a /// comment