Recognise everybody in the same CREDITS file: add the three people only in CREDITS...