some tweaks to docs compilation