Removing l4-smart-errors