Tidied up interface for FlatNJ