some comma spacing issues; fix a mistake in factoring 12 reported by Martijn <mvheeringen@gmail.com>