Fix a very subtle shadowing bug in optCoercion