Oops, my bad! I'll remove that in the next commit, seeing that this is already merged.