This global annotation is superfluous.