Fix Doxygen comment.
Avoid a useless cast.
Remove an unneeded semicolon.