Double ticks don't work if followed by a symbol without space. Change-Id: Ia455650b5e601dadb2b0ab91f71e1d9286d26071