release 0.5.4, fix bug #23