Small changes to public.php