fixed minor mistakes in monadtrans