@simonkoennecke No just fix it with another commit to the same branch(master branch of your fork) and it will appear in this PR.