If you could just remove this empty line (treat default: as one of case labels - where we do not add empty lines after each case)