Dockblock fix

Just a dockblock fix.