Fix bug inserted from commit b00e1fe92300fdd921c2a3e87d6e7d6124ab7e53