Fix bug 3242, typo in statement.