[comment addon] Another lint fix