dotfiles: minor overall bugfixes