Forgot a nopython3 decorator