Bug fixes in reparatie.php