typos in case P