Reindentation and comment fix for DoubleOps.