Fixed: preconditions weren't checked anymore