tiny fix for bug no. #326