I don't know if that is actually needed or not, but better safe than
sorry.