[stories/US00001] fix for php 5.4