Another minimal change.