Another fix for documentation