Making gcc 4.6 happy