Fix compilational glitch.