a trivial patch