Fix some comments from #357 that got missed.