Fix a Type Error related to Issue #1