fixed important typo in defs.php