Another small fix from Francesco.
2 files changed