CHANGES: minor fixes