fix a glitch in ReadFileString; go fmt