fixes  #3317