Correction in formula syntax documenation