Some insignificant corrections of the previous patch.