tiny update to the documentation