Trivial: fix Hawking's first name