Code: Minor improvement.