Fix Richard's patch so that it's actually C :-/