The first sentence in the description of integer->list should be changed from: integer->list returns a list of len booleans corresponding to each bit of the given integer. into: integer->list returns a list of len booleans corresponding to each bit of the non-negative integer k.