Small changes

RIP Smoothstate, you tried.