update for the core -> std renaming