Fix some minor details.