PHPExplorer bug