fix bug with unexported symbols slipping through