Minor fix for Linux version.