disambiguation bug