Change coding style of binary.php back to standard