Fixes #1

Cause: Issue A is typo.
Solution: Add more typing.