Slightly cleaned label function prelude.