Stylistic change in scanner.php