More HTML prettification