Ståle W. Pedersen edited a comment on an issue