We study the uniqueness of viscosity solutions of a Hamilton-Jacobi-Bellman equation which arises in a portfolio optimization problem in which an investor maximizes expected utility of terminal wealth in the presence of proportional transaction costs. Our main contribution is that the comparison theorem can be applied to prove the uniqueness of the value function in the portfolio optimization problem for logarithmic and power utility.