fix bug #133