Fix typo in Usenix blog

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