Small technicallity