and the bug number would be useful in the comment too !