Never mind, I've just seen at #1344 that's actually double `#`.