tools: petty simplifications