Fixes a bad annotation.
Adds missing docs.