adding Marcio in CREDITS