stuff for embedding, clean-up