Fix bug #6 and implement red-links by default