Some bug-fixes. Mostly a tiny update.