more minor corrections to fib.hs