Some minor modifications.