Tiny documentation change

(Does this even count as a documentation? Or is it just comments?)