NFA: removed non-existent function from export