Fix previous commit (r194865)