Fixed (see below comment).