More idea 13 workarounds