Dobi: better lint