Bug fix for 00f94f073572580d20add251a0753b3510ceef88.