Minor update after previous commit