Sorry, this change shouldn't be commit with this change. Can you give mit a hint how I can undo this commit using the GitHub web GUI? Do I need to overwrite the commit with a previous version or how is it done?