Typo fix

Signed-off-by: Don Marti <dmarti@cloudius-systems.com>