Some fixes as always just after making a release...