Small compilation bugfix.