fix ocsigen expression