fix type in commit 308e5a8247c6ae9df329ef569a023d9ee56e22be (HEAD~~)