Some tidying up of rpe-options.php