Minor updates and formatting changes