Fixed the definition of fiber sequence