small documentation enhancement