http://en.wikipedia.org/wiki/Very-high-temperature_reactor suggests that gas-cooled reactors tend to be pebble-bed, and that the story gets confused because there's a molten salt version of the pebble-bed reactor as well.
Anyhow, googling on HTGR (High Temperature Gas Reactor) will reveal more.