diff --git a/src/mon.c b/src/mon.c
index 39e30fce7..5fc4dbd05 100644
--- a/src/mon.c
+++ b/src/mon.c
@@ -156,6 +156,7 @@ sanity_check_single_mon(
             && (!has_ceiling(&u.uz) ||
                 !(levl[mx][my].typ == POOL
                   || levl[mx][my].typ == MOAT
+                  || levl[mx][my].typ == LAVAPOOL
                   || accessible(mx, my))))
             impossible("ceiling hider hiding %s (%s)",
                        !has_ceiling(&u.uz) ? "without ceiling"