fix options in erlang-r14 formula.