avoid github quirk?