minor prettifying updates