slang: fix warnings