This shouldn't be necessary, if it is, it seems like a thorax bug.