Note a bug number for 6888