Minor: inner write integer loop shortened.