Fix minor lint problems