CREDITS: fix formatting