[manual] Fix inaccurate type annotation

Closes #1478