fix bug introduced with last commit...