Fix the getIndent function used by the reprinter