Minor: formatting.
stub! is deprecated. Replaced with stub.