Minor change to FileFormats