Fix typo in userspace docs