Yea I think the manual is wrong, I've got the adapter in my hands and it says the output is 3.4v unless the clock can handle upto 6v but I'm not willing to find out.
I may just end up buying this and plugging the adapter into it.