Fix for documentation: