Minor notation change