small updates including new develop.php