For some unknown reason, the previous commit was not fully done