Restored erroneously removed code.