Wed, 07 Nov 2012 17:39:39 +0100Merge docfix #437
Alpar Juttner <alpar@cs.elte.hu> [Wed, 07 Nov 2012 17:39:39 +0100] rev 1004
Merge docfix #437