fix problem caused by (now) superfluous usage of ResourceT