Correct pointer argument * positioning.

The comments specify that the * of a pointer should be "immediately"
before the identifier, but this was not reflected in the parameter
list.