Adding Petr as a developer