Remove admit.
Fix compilation.