minor change of documentation