Quick documentation fix