corrections to compiler workarounds