Fix syntax as suggested by D. Winterbottom