Comment Comment by stefanpie You are totally correct, this is only a typo in latex which I have just pushed a fix for. Thank for you the note. parent stefanpie 4 years ago