Fixes for building docs