Why is this not an assert?