Fixes a pull request accepted too fast :-/