Code review of ring-devel: bug fixes and more consistent style.