Fix bug: fix syntax errors in OS.php