Update citation labels.

The IEEE bibtex exports don't do a nice format :-(