fix bug in cocalc-docker in latest build; not introduced by whiteboard PR, but I noticed it when testing.
fix bug in cocalc-docker in latest build; not introduced by whiteboard PR, but I noticed it when testing.

sagemathinc/smc,sagemathinc/smc,sagemathinc/smc,sagemathinc/smc