Ok, probleem opgelost.
Vandaag was er een nieuwe update van cups**, alles werkt opnieuw perfect.
Er zat wel degelijk een bug in de vorige update.
Ben zeker tevreden van deze Samsung printer. Er was namelijk een linux driver meegeleverd op cd-rom.
Ook op de website van Samsung kon ik de linux driver downloaden.