Fix comment type pointed out by Kim Gräsman.