Minor fix to avoid compiler warning with Xcode 4.6