add debugging options