Version 1.3.1

Annoying userprefs file wants to get commited. Ok, then