> In and around line 1744 of elaborate-core.fun there is a typo that reads > "bug got" when it was probably meant to be "but got". Thanks. Fixed.