Fix warnings reported by GCC 4.8.2