Some minor design improvements.