Seems like the right thing to do judging from the comment above