diff --git a/README.md b/README.md
index 69dc754f86d9e36379d5f099642a8a887edbfc1b..9e2752426c0b50099caed0974f0ae3934d49c7d5 100644
--- a/README.md
+++ b/README.md
@@ -87,7 +87,7 @@ Output 2
 Output 3
 Goodbuy world
 ```
-and a typeset version of an interactive python session in `foo.pyi`
+and a typeset version of an interactive python session in `foo.pyi` (use `pycon` in minted; this gitlab server appears not to support `pycon`)
 ```pycon
 >>> print("hello world")
 Hello World"