A posteriori error estimates with boundary correction for a cut finite element method. (22nd December 2020)