Fixed a compilation error with GCC 4.8.0 (Closes: #713449)