Fixed small error with previous commit. Nothing to see here.