Fix for rbx (probably a bug in rbx)