Fix typo

Signed-off-by: Gerald Van Baren <gvb@unssw.com>