minor XSLT-related modifications