php-horde-ingo: fix