Check we return the right int