Hopefully this was simply missing in the merge and everything is fine...