Correcting warnings and other potential future bugs.
Fixes #1344: Ensuring that the story dropdown in the header receives a unique HTML ID so that CKEditor will not crash.