FIXED: Errors in HTML colouring code for name().