Minor fixes to adddisc.php