minor (removed debugging output)