Fix unquote splicing example