Added comment to remind of a bug workaround.