fix minor bug in basics.php