Fix syntax error in the `securemp` example