minor changes to migrate debugging to jquery extension