Fix typo; clarify bug reference and add explanation