format proposals explicitly, other tweaks, don't like boldface crap