fix with pretty printer