Bogus commit (to fix Travis checkout error 128?)