On Tue, 7 Dec 2010 13:01:10 +0100 José María Alonso wrote: > Hey! Fixed this and the typo in genkernel.xml. Thanks for spotting them. Also, since you're on the GDP, for quick fixes of this nature, you can either mail the internal docs-team alias, me, or whoever's on IRC. ;)