Small updates for Windows Template Library 8.1.12085