Update in anticipation of TNoodle 0.8.10.