bug fix: trivial