Comment and minor fix