typos and notation