minor changes to Idris printf