Javadoc formatting: Please insert a line with just `     *` on it before the `@param`.