Fixed typos with notation and error bounds