ReadOnlyFileSystemDriver: some code reformat