Remove use of obsolete "parameters" module. But this is a TODO.