tiny changes for 3.7.1