Bug in "Basic CSS: Add Rounded Corners with border-radius"