Add Sergei Maertens to THANKS