Minor corrections to the original file