3.01: minor changes