Minor: fix missing double $
Antoine Catton authored
ef00a774