Strange behaviour regarding specification