fix typo; fixes #2840.