Comments out the source of the bug in #2