theme and alias tweaks