Minor revision

Insert some code for debugging