DK: minor changes