Added credits for bugfix to pdf