Indicate proper GitHub bug number to find the stack trace