Some corrections to resolution-independent theming