Fix XML comment syntax