Non-commuting formal power series