-directories, including the API Server, Workbench, and Crunch, are licenced
-under the GNU Affero General Public License version 3 (see agpl-3.0.txt)
+directories, including the API Server, Workbench, and Crunch, are licensed
+under the GNU Affero General Public License version 3 (see agpl-3.0.txt).
+
+The files and directories under the build/, lib/ and tools/ directories are
+licensed under the GNU Affero General Public License version 3 (see
+agpl-3.0.txt).