fix for  #747