Possible bug: red and blue LEDS don't light up when sound is off

So I’m using the arduboy library (ver 1.1.0) and the audio libraries provided with it. As such I am using ArduboyAudio.saveOnOff() to save the EEPROM with whether it’s muted or not. I’m also using setRGBled to change the colour of the LEDs left of the screen. For some reason, when the game is muted, the red and blue LEDs do not light up. I’ve checked my code over and it’s impossible that it’s due to an error in my code, so I’m assuming it’s something in the library.
Has anyone else encountered this? Is it expected behaviour?

Could be related to this issue.