Add some small corrections