Don't know why github does not update the pull-request, pushed the change… Maybe it will happen in a little while ;)