fix bug found by reader :-)