minor notation change