Fix typo; closes #600