[BUG #6866] Minor