removes a superfluous @jsx