The previous commit fixed another bug.