minor correction for documentation