small fixes in case A