#865: Fix typo in Code.