added PHP 5.5 forward compatibility fix