Fix maximal marking count on a flat SDD.