Fix incorrect fold call.
Match against ok.
Fix specification which is too wide.