Correct syntax for @param