SotBE: minor corrections to grammar, punctuation, capitalization
SotBE: minor prose changes
SotBE S11: remove unnecessary message
SotBE S8: avoid duplicating a message