using has_shortcode (since WordPress 3.6), tested in WP 3.8 RC1