Made GCC happy