Minor fix for compatibility with old java version.