bugfix: labels ref'ed in solutions could not contain underscores