[2021-08-27] Fixed a typo in Alg. 1 -- thanks to Simon Coenen for pointing it out to me.