2013-06-18: minor debugging