fixes #755

fixes #755