Minor updates to appendices