GHC prints operator promoted ticks in the wrong place

GHCi, version 9.8.1: https://www.haskell.org/ghc/  :? for help
Prelude> import Data.Proxy
Prelude Data.Proxy> :set -XDataKinds -fprint-redundant-promotion-ticks
Prelude Data.Proxy> :kind! Proxy '(:)
Proxy '(:) :: *
= Proxy (':)

The Proxy (':) with the tick inside parenthesis is wrong and is not a syntax GHC accepts:

Prelude Data.Proxy> :kind! Proxy (':)

<interactive>:1:8: error: [GHC-24180]
    Operator applied to too few arguments: :