Added this in bd20595f1ade6e69f44ec0a9c1436ba4a7845ea4 to make sure it doesn't happen again.