BUG: minor bug