Making CI tool happy