minor change

Fix a few minor issues.