Typo
Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>