Slight semantics fix.