another tiny addition of documentation