Let's use HTML markup. Otherwise it will look ugly in Javadoc.