fixes #707

see title