Some more typos from GC issue #6