Added a comment saying it is probably OK to use FORMAT.