making git happy