Functoriality of $K_1$