Added some extra info to appendix A