Correctness & code-style in du