did some very minor code refactoring (no new functionality added)