Made some fixes to serverside handling of preferences change, closes #10