Minor REST API extension