minor str formatting operations