Fixed an errant underscore that was causing typesetting to fail.