Bugfix in FactuurnummerManager