Quick documentation fixes