You're correct, this scenario is why the AGPL was written. A lot of companies allow the use of GPL software but forbid the use of AGPL software.