Remove an unused parameter on fun and fun'.

This parameter was an attempt at simplifying other things, but it didn't pan out.