fix error pointed out by Poul