Fixed minor notation issues