document: add missing options