Issue #67: Fix compilation issue (typo)