Another minor semantic fix