Hotfix for documentation