fix bug introduced by renaming