Correct, there wasn't. But in early June reports came out that Man City were considering him as an alternate to Jorginho. The link above refers to Jorginho possibly choosing Chelsea ahead of Man City.
http://www.skysports.com/football/news/12691/11397097/man-city-considering-mario-lemina-and-mateo-kovacic-as-jorginho-alternatives
http://www.dailymail.co.uk/sport/football/article-5813609/Man-City-eyeing-Real-Madrids-Mateo-Kovacic-Southamptons-Mario-Lemina--fails.html
https://www.thesun.co.uk/sport/football/6469614/man-city-jorginho-southampton-mario-lemina-madrid-mateo-kovacic/
https://www.manchestereveningnews.co.uk/sport/football/transfer-news/man-city-transfers-lemina-kovacic-14754211
https://www.mirror.co.uk/sport/football/transfer-news/manchester-city-eye-mario-lemina-12663704
So.......... City might need that alternate option.