possible fix for  #1256