Minor bug fix; rename file