we need to document the -without tag in the EXPORT section too