small bugfixed caused by different php versions