Fix the bug in specify_shape (which derives from that, yes).