misc. tagging fixes. Fixes #677