Fix some CS at registration.php