Use a proper mention when replying.

@juanxo: ping.