Bug with bounded sequences identified !