fix php strict hint