Minor semantic update.