sample-contracts.sol has error + MetaMask not asking to confirm transaction

I have an issue at the following step:

I want to use the Browser Solidity project to create the first smart contract. Two problems (I am not sure which one is the stopper not being able to continue):

1) The formal verification says:
_Untitled:3:5: Error: Type "address" not supported for state variable.
address public owner;_
Thus, not sure if the contract is valid? I do not know anything about Solidity yet, therefore I wanted to start with this "working example". :-)

2) If I click on the red "create button", it says "wait for mining", but nothing happens. Do I have to put something into the "at address" button before clicking the "create" button?

Thanks for help.

Start with sample-contracts.sol and the Browser Solidity formal-verification and create flow described in the report. Reproduce the address state-variable error and the MetaMask transaction behavior, then check whether the working example verifies and prompts for or completes the transaction. Done means both reported blockers are fixed or their required steps are documented.

Written by the indexing model from the issue text.