fix deftype issue

Signed-off-by: Ambrose Bonnaire-Sergeant <abonnairesergeant@gmail.com>