Applied minor fix suggested by PAReview.