Explicit cast to make GCC happy