Maybe we should make this an error.