Issue #63: Fix lint issues.