It was no actual bug, since the parameter was never used. We can easily remove it.
merged
mentioned in commit 3bae33e0