Adapt man page to new export behavior

Fixes #474