Reverted the wrong fix for the type of functions to the fixed-point operator