Fix a few misdocumented functions