This seem not to happen in php7 which is the only available currently. Please open a new ticket or SR fix if you still see it somewhere.