Muhammad Gaddafi was replaced