typo in Formula