Fix code in HELib ex