Oops, inadvertantly had a missing #pragma once