Add verification glue code - fix missing backslash