Moving towards KR2014 submission version.