Minor edit for documentation