Minor filename fix