Fix a small bug, change a style nit.