double spacing at end of printf