Some minor fixes

Ah, sorry. Forgot to uncheck that it seems.