Tiny technicality update