Minor semantic fix