fixes #737