Tidy Code: Get rid of ;; formerly used to trigger a trace macro. (for now I'm able to use a debugger ;)