Replaced deprecated `stub()' with `double()'