Modify FileSystem53.h. Small tweaks