Time format in "Totals Widget" not respecting profile setting

[byteflux]

My time format in the profile settings is set to “advanced” (hh:mm). The totals row/column still show decimal values though.

Is that a bug or is there a separate setting for the totals row/column?