Fix bookmarks

During the symbolization of the hard coded 
user defined whatsits numbers I've mixed some of
them up.