Typo in Technical Note 010: Barrelfish Specification.