Good catch, thanks! Of course, the set of limitations that can be imposed by other licenses while still being GPL compatible is quite small.