No need for explicit cast