We've bought DS his first bed - it's a junior bed but do we buy a normal single size duvet or a special junior bed sized one. Silly question but we're stumped!