You're right - I change it as soon I found out, how to update a pull request ;-)