Fix Travis builder, TODO comment