BBC 7, the comedy, drama and kids digital radio channel, officially rebranded to BBC Radio 7 on Saturday 4 October.
A subtle change, apparently as the radio station is sometimes mistaken for a TV channel.
More on BBC Radio 7: www.radioandtelly.co.uk/bbcradio7.html
