moved fixpoint; readme small change
moved fixpoint