Fix: Retype for php 5.4