Did President Higgins overstep the boundaries of public comment?