tweaks to specdoc