minor latex fix.