Uncomment accidentally commented-out code. #17.