WyC: tidying up the fixed-point computation.
WyC: updated comment for the computeFixedPoint function.