Put jnthn's trick instead: this works, but I feel this needs syntactic sugar