Fix psmt