Little syntactic editing to satisfy HTML validator