changed documentclass for probable use of auto-pausing