a few simplifications and stuff