fixes bug # 28: spurious whitespace after sidenotemark