Fix small problem with temporary file