minor cleanup of printf