Typo

Signed-off-by: Michael Greenhill <doctorjbeam@gmail.com>