One small defensive bug fix