Very minor fix. Forgot this in the rename process.