how many bugs

Signed-off-by: Matthew Webb <mawebb@math.byu.edu>