Quick change that fixes #8