Before revision:  We also show that the exercise boundary is continuous and a high contact principle holds in such a neighbourhood when the dividend function is moreover linearin a neighbourhood of 0.
After revision:  We also show that the exercise boundary and a high contact principle holds in such a neighbourhood when the dividend function is moreover linearin a neighbourhood of 0.