modified documentation of fobos accordingly to the new syntax