typo and style fixes, per fulvio