Simplify fixpoint

Fixes #69.