some additional option for debugging