forgot to include in sonLib header