Fix bug introduced by e3a16249d44f8904349be72ce95f7da168018409