minor stuff

Signed-off-by: Marco Milanesio <milanesio.marco@gmail.com>
debugging

Signed-off-by: Marco Milanesio <milanesio.marco@gmail.com>
more debugging