One more php 5.5 related warning fix