bug fix for the preceding commit