(k) fix minor glitch in installExtension.php