Minor improvement.