Fix bug that caused symbols to always be used