updated comment

this was forgotten in 4313abb3def97979115903dc1cd3c24ec9362169