Some quick tweaks and comments

Just to clarify: this is REALLY old code of mine, I'm only putting this
up for posterity. The code I write now is much much better than this,
but I have no need to go back and fix this stuff.