fixed up notation