minor comment fix

Signed-off-by: Marco Casella <marco.casella@gmail.com>