Minor fixes for 7.1.0