Is this some `else` syntax I don't know about?