Reverted accidentally-committed code.