Shameless plug, style fixes, and prettification