Extracted 'proper' flag.

resolves #35