Fix bug in 6e1ac709343c769cd101ceb9572dbdbc4d5b28e8