symbols is now unused, remove.