Fix constructor bug in Case