(@ #712) fixed bug in #717