Fixed a couple of formatting issues. Fixed a bug with OverlappingRecordsManager.