Put back correct version in this branch (was lost during commit f196b4804d8e96386a822...