Renaming variable and pretty print