fix in GlueCode.php