thanks to @dclausen for pointing out these typos