Fix for building documentation