made property case match the rest of TK