diff --git a/srcpkgs/minisat/template b/srcpkgs/minisat/template
index c71b704145b..985ba2e326f 100644
--- a/srcpkgs/minisat/template
+++ b/srcpkgs/minisat/template
@@ -2,11 +2,12 @@
 pkgname=minisat
 version=2.2.0
 revision=2
+# _FPU_EXTENDED is x87-glibc only
+archs="i686 x86_64"
 build_wrksrc=simp
 build_style=gnu-makefile
 makedepends="zlib-devel"
-archs="i686 x86_64"
-short_desc="A minimalistic and high-performance SAT solver"
+short_desc="Minimalistic and high-performance SAT solver"
 maintainer="Tai Chi Minh Ralph Eastwood <tcmreastwood@gmail.com>"
 license="MIT"
 homepage="http://minisat.se/MiniSat.html"