Removed references to config.ml