Kraken: translate a comment, and some lint