Appendix removed + Florian Weimer reference added