Filled in blanks in if.php