That's correct. Most of the implementations of Marx's ideas are heavily derived through Lenin, who wrote more thoroughly about how to actually run a post-capitalist society and what would/wouldn't work.

Just to note, also, Chavez is the only person in that list who wasn't a Marxist-Leninist, and it's not helpful to understanding to include him in that list.