Module 11 fixes

A few fixes for symbols found in the text.