a tiny simplification