Fixed the maybe function hack in Exp