clarified a bit of documentation