Show lint names

Fix #3525.