Missing symbol bugfix