Minor fix for old compilers