Minor cleanup of serialisation.h