Revise comment about DISALLOW_FILE_EDIT