Minor fixes for eventB