Another HPPL bugfix