Remove an unused parameter on fun and fun'.
Merge pull request #179 from pjonsson/simplify-fun

Remove an unused parameter on fun and fun'.