style changes and vec::append_one -> .push