Some debugging on the reference system