fixed typo - pointed clause ref in proxy form