#296. Minor fixes in PostModule and PostCheckCest. Test passed.