small fix for 7.1