A bit more on using tagged versions