fix a bad typo in declarations