minor tweaks for godoc.org