minor fix [closes #733]