Fixing a bug that Shim Manning found.