web2c.texi, line 177 says that "anyone who gets a binary distribution must also get the sources, as explained by the terms of the GPL". This is clearly not the case as explained in Thanks. Indeed, I failed to include "be able to" before "get". -k