Silly mistake in label constant calculation.
a