fixes #1122; fix typo in fix for #725