2.72: fixed a few small issues.