spurious additional dollar sign