Style fixes for Travis, also check we don't exceed maximum ordinal.