minor fix in case A