diff --git a/src/base/io/ioWriteBlif.c b/src/base/io/ioWriteBlif.c
index 528564372..ca54a766f 100644
--- a/src/base/io/ioWriteBlif.c
+++ b/src/base/io/ioWriteBlif.c
@@ -344,6 +344,12 @@ void Io_NtkWritePos( FILE * pFile, Abc_Ntk_t * pNtk, int fWriteLatches )
     {
         Abc_NtkForEachPo( pNtk, pTerm, i )
         {
+            if ( i && i == pNtk->nRealPos )
+            {
+                fprintf( pFile, "\n.outputs" );
+                LineLength  = 8;
+                NameCounter = 0;
+            }
             pNet = Abc_ObjFanin0(pTerm);
             // get the line length after this name is written
             AddedLength = strlen(Abc_ObjName(pNet)) + 1;
diff --git a/src/map/if/ifTime.c b/src/map/if/ifTime.c
index 5dd57efc3..48d1ff371 100644
--- a/src/map/if/ifTime.c
+++ b/src/map/if/ifTime.c
@@ -30,7 +30,7 @@ ABC_NAMESPACE_IMPL_START
 
 #define IF_BIG_CHAR 120
 
-static float s_ExtraDel[2][3] = { {1.0, 1.0, 1.0}, {1.0, 1.0, 0.0} };
+static float s_ExtraDel[2][3] = { {1.0, 1.0, (float)0.1}, {1.0, 1.0, (float)0.1} };
 
 static void If_CutSortInputPins( If_Man_t * p, If_Cut_t * pCut, int * pPinPerm, float * pPinDelays );