Default is not default

This sounds very odd. Why did you “have” to change the capital “D” to a lowercase “d”? Do you have a 7.2 backup sitting around that you could try and replicate this on to see if it happens again?