Corrections to bugs submitted on Github Bug Tracker on 23.11.