Index: share/man/man9/style.9
===================================================================
--- share/man/man9/style.9
+++ share/man/man9/style.9
@@ -535,9 +535,11 @@
 .Li FALLTHROUGH
 comment.
 Numerical arguments should be checked for accuracy.
-Code which is unreachable for non-obvious reasons may be marked /*
+Code which is unreachable for non-obvious reasons should be marked
+.Fn __assert_unreachable
+instead of the older /*
 .Li NOTREACHED
-*/.
+*/ in the kernel, but use the latter otherwise.
 .Bd -literal
 	while ((ch = getopt(argc, argv, "abNn:")) != -1)
 		switch (ch) {		/* Indent the switch. */
@@ -701,8 +703,7 @@
 If a line overflows reuse the type keyword.
 Variables may be initialized where declared especially when they
 are constant for the rest of the scope.
-Declarations may be placed before executable lines at the start
-of any block.
+Declarations may be in any block, but must be placed before statements.
 Calls to complicated functions should be avoided when initializing variables.
 .Bd -literal
 	struct foo one, *two;