Should this be an error?