Fix typo in "@deprecated".

Fixes #431.