Resolved typing error in FizzBuzz specification