Toward working min-element.
Pedantic corrections.
Removed unnecessary auto-testing module.