small fix in API.pxi