implements #733