minor changes for checking (SR)