ryan reported bug; closes#971