fix license to CORRECTLY reflect AGPL (the top-level license was AGPL
originally).