Fix error in f9af610c003a8fc7fa31dd9cea063fa584db79ad