Minor bug fixes in the case