eliminated minor redundant notation