Push typo fix to github.

Signed-off-by: Vikram Shirgur <vikram@shirgur.org>