Incorrect reformatting of comments

[miegir]

Formatting this (comment inside ()):

let x =
    ((*comment*))
    printf "a"
    // another comment 1
    printf "b"
    // another comment 2
    printf "c"

results in the following (comment text doubled and another comments in the file are placed between two comment copies):

let x = 
    ((*comment*) // another comment 1
                 // another comment 2
                 (*comment*))
    printf "a"
    printf "b"
    printf "c"

Repeated reformatting will double all text in the comment.