ae5b8077df
accidentally dereferencng it and might be one fewer things to change if arm64 happens... Submitted by: rwatson's question on irc...