make robocop happy. It prefers  over $: