[#923] Minor semantic adjustment.