changed <?php to <?hh so bool is allowed to type check