Minor semantic update