tiny changes

Previous commit is a bigger change.