A tiny technicality