Fix a problem with 7fd094be590a96dee9edc832c14577e6b550b704.