Though if it works, for now just put in a FIXME with that comment.