Revert "This should fail"

This reverts commit fc414195f201283353015ec7c265bf99d8e9146e.