A tiny simplification