Small change.
Fix problems with laziness by adding static info.