Fix splatting, which had been broken by a recent commit of mine