Filename corrected. Aux code moved to the bottom.