8/13 D: minor fix