Add comment about temporary fix for pretty-printing defaults