Fixes  #754