trivial debugging comments