Fixing small mistake in Demmel matrix construction