minor fix to recent sequence<> checkins