Bugfix #17 console hyperlinking

should also fix #18