Another small docs improvement