minor notation typos debugged