K-theory and mapping spaces: an appendix to “Equivariant semi-topological K-homology and a theorem of Thomason”