This dollar sign looks like a mistake.