clarified documentation, I hope