Belatedly add Michał Masłowski to THANKS.