Forgot a bit of the last commit. re #124