(Messy) workaround for annoying warning bug in IntelliJ.