This commit fixes a missed indent.