Documentation fix [ci skip]