Minor changes after uninstalling boxen