Fixed a problem with formula translation.