Make sure patch is defined (otherwise the decorator complains)