php-horde-Horde-Core: minor fix