‘He’s happy, we are happy’ – Guardiola on Mahrez, despite rumours