Rubocop and happy