rename to work around an opal parser bug