we thank Brian Prest for having spotted a bug in the code!
