Can you raise a bug? We should allow manual numberings...