Notation edits-FCL