A little fix in "file state" documentation